Wyniki
-
A polynomial translation of Goedel's functional interpretation
Yvon Gauthier
Bulletin of the Section of Logic , 27 /3 (1998) s. 130-137
Yvon Gauthier
Bulletin of the Section of Logic
, 27
/3
(1998)
s. 130-137